(declare-fun _substvar_191_ () (Array (Array Bool Bool) (Array Bool Bool)))
(declare-const v2 Bool)
(declare-const arr0 (Array Bool Bool))
(declare-const arr1 (Array (Array Bool Bool) (Array Bool Bool)))
(assert (= arr1 (store arr1 (store arr0 false v2) arr0) _substvar_191_ arr1))
(push)
(assert v2)
(assert (= false false false false (= arr1 arr1 (store arr1 (store arr0 false v2) arr0) arr1) false))
(check-sat)
